"Erich Gradel" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Logic and Automata: History and Perspectives (AUP - Texts in Logic and Games)

Jorg Flum, Erich Gradel, Thomas Wilke

Категория: История

4.27 Mb

#2

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

Erich Gradel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Ve

Категория: Компьютеры

4.01 Mb

#3

Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, ... Computer Science and General Issues)

Erich Gradel, Reinhard Kahle

Категория: Компьютеры

6.58 Mb

#4

Logic and Automata: History and Perspectives (AUP - Texts in Logic and Games)

Jorg Flum, Erich Gradel, Thomas Wilke

Категория: История

4.26 Mb

#5

Logic and automata: History and perspectives

Jorg Flum, Erich Gradel, Thomas Wilke

Категория: Algorithms

4.25 Mb